Please note that this newsitem has been archived, and may contain outdated information or links.
1 October 2019, Algebra|Coalgebra Seminar, Vincenzo Ciancia
Speaker: Vincenzo Ciancia (Institute of Information Science and Technologies 'A. Faedo')
Title: Spatial Model Checking and Applications to Medical Image Analysis
Date: Tuesday 1 October 2019
Time: 16:00-17:00
Location: Room F1.15, ILLC, Science Park 107, Amsterdam
For more information, see
https://events.illc.uva.nl/alg-coalg
or contact Jan Rooduijn at j.m.w.rooduijn at uva.nl.
Please note that this newsitem has been archived, and may contain outdated information or links.